bitkeeper revision 1.1011.1.4 (40db0dad1EoVdz5CsMKfYtUVcwzlpQ)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 24 Jun 2004 17:21:49 +0000 (17:21 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 24 Jun 2004 17:21:49 +0000 (17:21 +0000)
Fix bad debug assertion

xen/include/xen/sched.h

index f40a16dd4884149b154d36cfc8c03e7a8c24a255..2a509eab32d0c8de1be72e1c4e6f6d08afcd35b3 100644 (file)
@@ -293,7 +293,6 @@ static inline void domain_pause_by_systemcontroller(struct domain *d)
 
 static inline void domain_unpause_by_systemcontroller(struct domain *d)
 {
-    ASSERT(d != current);
     if ( test_and_clear_bit(DF_CTRLPAUSE, &d->flags) )
         domain_wake(d);
 }